Logique mathématique et linguistique formelle
نویسنده
چکیده
Présentation mise à disposition dans l'attente de la parution du volume aux éditions Cassini
منابع مشابه
Semantique et mecanographie
1. Malgré le nombre et l'intérêt des travaux qui la concernent depuis deux ou trois décades (ceux de Trier, ou de Zinsli, de Matoré, de Quemada, par ex-emple, ceux de Guiraud), malgré des traités à jour comme celui d'Ullmann, on reconnaît généralement que la sémantique est le domaine linguistique où l'on a le moins avancé depuis trente on quarante ans. Rien de comparable ici, en effet, aux gran...
متن کاملLa représentation formelle des concepts spatiaux dans la langue
Dans ce chapitre, nous faisons l'hypothèse que l'étude systématique de la sémantique des marqueurs spatiaux de la langue permet de mettre en évidence certaines propriétés et concepts fondamentaux caractérisant les représentations conceptuelles de l'espace. Nous proposons un système formel rendant compte des propriétés révélées par les analyses linguistiques, et nous utilisons ces outils pour re...
متن کاملUne logique conflictuelle selon Carlos Derbez: La dialectique homme-machine
L'article qui suit termine l'exposé de Carlos Derbez sur une logique conflictuelle. Les parties traitées sont la double négation et devenir, puis la méthode de la logique conflictuelle. " Cette logique, synthèse de la logique mathématique et de la dialectique, permet d'établir pas à pas et pour nos situations conflictuelles quotidiennes, les choix clairs sur lesquels est fondée une construction...
متن کاملInformal Logic ’ s Influence on Philosophy Instruction University of Windsor
Résumé: La logique non formelle a débuté dans les années 1970 comme une critique des suppositions théoriques acceptées à cette époque dans les départements de philosophie aux États Unis et au Canada. Il y a eu un développement significatif dans la logique non formelle et dans l’enseignement de la pensée critique durant les dernières 35 années. Cet article est une étude pilote de l’influence de ...
متن کاملLes mathématiques de la langue : l'approche formelle de Montague
Nous présentons une méthode de modélisation de la langue naturelle qui est fortement basée sur les mathématiques. Cette méthode, appelée «sémantique formelle», a été initiée par le linguiste américain Richard M. Montague dans les années 1970. Elle utilise des outils mathématiques tels que les langages et grammaires formels, la logique du 1er ordre, la théorie de types et le λ-calcul. Nous nous ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1311.1897 شماره
صفحات -
تاریخ انتشار 2011